Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
751	Comindware® Expression Language Reference Guide Add to Reading List Source URL: dl2.comindware.com Language: English - Date: 2013-03-04 11:14:28 Subroutines Automata theory Pattern matching Regular expression Conditional Return statement SQL XPath 2.0 Computing Software engineering Computer programming
752	On Languages Piecewise Testable in the Strict Sense James Rogers1 , Jeffrey Heinz2⋆ , Gil Bailey1 , Matt Edlefsen1 , Molly Visscher1 , David Wellcome1 , and Sean Wibel1 1 Add to Reading List Source URL: cs.earlham.edu Language: English - Date: 2011-01-08 11:43:23 Combinatorics on words Theoretical computer science Applied mathematics Regular language String Model theory Structure DFA minimization Formal languages Automata theory Mathematics
753	Microsoft Word - Chapter 1 Add to Reading List Source URL: igm.univ-mlv.fr Language: English - Date: 2009-07-11 11:28:37 Formal languages Combinatorics on words Pattern matching String matching algorithms Automata theory Regular expression AWK String Algorithm Computing Software engineering Software
754	Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-10-02 15:04:33 Büchi automaton Muller automaton Ω-automaton Finite-state machine Powerset construction Nondeterministic finite automaton Generalized Büchi automaton Automata theory Theoretical computer science Computer science
755	Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko, Robert Brayton, Roland Jiang Tiziano Villa Nina Yevtushenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:36:01 Computer science Finite-state machine Nondeterministic finite automaton Powerset construction Nested word Automata theory Theoretical computer science Models of computation
756	A Cellular Automata Approach for Discrete-Time Distributed Parameter Systems Samira EL YACOUBI Department of Mathematics and Computer Science MEPS laboratory, University of Perpignan. France Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2007-09-07 10:44:24 Cellular automata Cellular automaton Systems Systems theory Cybernetics Distributed parameter system Controllability Automata-based programming Control theory Science Automata theory
757	Lost in Translation: Forgetful Semantic Anchoring Daniel Balasubramanian Vanderbilt University Institute for Software Integrated Systems Nashville, TN Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2012-05-01 10:13:00 Automata theory Computer science Finite-state machine SIGNAL Dataflow Meta-Object Facility Synchronous programming language Formal language Models of computation Software engineering Computing
758	Microsoft Word - SeqVerification08.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-02-17 18:15:49 Logic in computer science Mathematics Formal methods Computer memory Automata theory Rewriting Retiming Combinational logic Flip-flop Theoretical computer science Digital electronics Electronic engineering
759	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-02-27 06:28:19 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
760	1 Rapid Property Specification and Checking for Model-Based Formalisms Daniel Balasubramanian, Gabor Pap, Harmon Nine, Gabor Karsai Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-21 15:55:05 Software Model checkers Software testing Model checking Simulink Java Pathfinder SPIN model checker Constraint automaton Software verification Automata theory Theoretical computer science Computing

UPDATE